例句與造句

1. The common definition of the grandmother relation, viz . \ textit { gra } ( x, z ) \ leftarrow \ textit { fem } ( x ) \ land \ textit { par } ( x, y ) \ land \ textit { par } ( y, z ), cannot be learned using the above approach, since the variable occurs in the clause body only; the corresponding literals would have been deleted in the 4th step of the approach.
2. It's difficult to find clause body in a sentence. 用clause body造句挺難的